Submodule of free Z-module1
نویسندگان
چکیده
In this article, we formalize a free Z-module and its property. In particular, we formalize the vector space of rational field corresponding to a free Z-module and prove formally that submodules of a free Z-module are free. Z-module is necassary for lattice problems LLL (Lenstra, Lenstra and Lovász) base reduction algorithm and cryptographic systems with lattice [20]. Some theorems in this article are described by translating theorems in [11] into theorems of Z-module, however their proofs are different.
منابع مشابه
Torsion Z-module and Torsion-free Z-module1
In this article, we formalize a torsion Z-module and a torsionfree Z-module. Especially, we prove formally that finitely generated torsion-free Z-modules are finite rank free. We also formalize properties related to rank of finite rank free Z-modules. The notion of Z-module is necessary for solving lattice problems, LLL (Lenstra, Lenstra, and Lovász) base reduction algorithm [20], cryptographic...
متن کاملThe University of British Columbia Sessional Examinations
1. [10 points] Determine whether the following statements are true or false (you have to include proofs/counterexamples): (a) Let R be an integral domain, F – a free R-module of finite rank, and M – a torsion R-module. Then there is no injective homomorphism from F to M . Solution: True. Suppose there was an injective homomorpism φ : F → M . Then let N = φ(F ); N is a submodule of M , and there...
متن کاملThe Sum Graph of Non-essential Submodules
Throughout this paper, R will denote a commutative ring with identity and M is a unitary R- module and Z will denote the ring of integers. We introduce the graph Ω(M) of module M with the set of vertices contain all nontrivial non-essential submodules of M. We investigate the interplay between graph-theoretic properties of Ω(M) and algebraic properties of M. Also, we assign the values of natura...
متن کاملA KIND OF F-INVERSE SPLIT MODULES
Let M be a right module over a ring R. In this manuscript, we shall study on a special case of F-inverse split modules where F is a fully invariant submodule of M introduced in [12]. We say M is Z 2(M)-inverse split provided f^(-1)(Z2(M)) is a direct summand of M for each endomorphism f of M. We prove that M is Z2(M)-inverse split if and only if M is a direct...
متن کاملAbout the kernel of the augmentation of finitely generated Z - modules
Let M be a free finitely generated Z-module with basis B and ∆M the kernel of the homomorphism M → Z which maps B to 1. A basis of ∆M can be easily constructed from the basis B of M . Let further R be a submodule of M such that N = M/R is free. The subject of investigation is the module ∆N = (∆M + R)/R. We compute the index [N : ∆N ] and construct bases of ∆N with the help of a basis of N . Fin...
متن کامل